Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
نویسندگان
چکیده
We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structures and distance-based considerations. The combination of these two principles leads to a variety of entailment relations that can be used for reasoning about nondeterministic phenomena and are inconsistency-tolerant. We investigate the basic properties of these entailments and demonstrate their usefulness in the context of model-based diagnostic systems.
منابع مشابه
Distance-based non-deterministic semantics for reasoning with uncertainty
Non-deterministic matrices, a natural generalization of many-valued matrices, are semantic structures in which the value assigned to a complex formula may be chosen non-deterministically from a given set of options. We show that by combining non-deterministic matrices and distance-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty. These logics a...
متن کاملReasoning with Uncertainty by Nmatrix-Metric Semantics
Non-deterministic matrices, a natural generalization of manyvalued matrices, are semantic structures in which the value assigned to a complex formula may be chosen non-deterministically from a given set of options. We show that by combining Nmatrices and preferential metrics-based considerations, one obtains a family of logics that are useful for reasoning with uncertainty. We investigate the b...
متن کاملA framework for reasoning under uncertainty based on non-deterministic distance semantics
In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deterministic semantic structures and distance-based considerations. This combination leads to a variety of entailment relations that can be used for reasoning about non-deterministic phenomena and are inconsistencytolerant. We inve...
متن کاملAn Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC
It is well known that description logics cannot tolerate the incomplete or inconsistent data. Recently, inconsistency handling in description logics becomes more and more important. In this paper, we present an argumentative semantics for paraconsistent reasoning in inconsistent ontologies. An argumentative framework based on argument trees is provided to model argumentation in description logi...
متن کاملDistance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailments are particularly useful for non-monotonic reasoning and for drawing rational conclusions from incomplete and inconsistent information. Some applications are considered in the context of belief revision, informatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009